1. <A> First Course in Mathematical Logic and Set Theory
پدیدآورنده : \ Michael L. O'Leary
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
2. Abu Hamid Muhammad al - Ghazali: texts and studies III: Tahafut al - Falasifa and al - Qistat al - Mustaqim
پدیدآورنده : / collected and reprinted by Fuat Sezgin, in collaboration with Mazen Amawi, Carl Ehrig - Eggert, Eckhard Neubauer.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : غزالی، محمدبن‌محمد، ۴۵۰ - ۵۰۵ق. -- مقاصدالفلاسفه -- نقد و تفسیر.,غزالی، محمدبن‌محمد، ۴۵۰ - ۵۰۵ق. -- القسطاس‌المستقیم -- نقد و تفسیر.,ما بعدالطبیعه -- متون قدیمی تا قرن ۱۴.,فلسفه اسلامی -- مجموعه‌ها.,منطق -- متون قدیمی تا قرن ۱۴.,مشائیان.
رده :
BBR
۹
/
الف
۹ ۵۳.
ج
۱۳۷۸
3. An outline of set theory
پدیدآورنده : / James M. Henle.,ه‍ن‍ل,Henle
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : نظریه مجموعه‌ها,منطق ریاضی
رده :
QA
۲۴۸
/
ھ
۹
الف
۸ ۱۳۷۰
4. Die Lehre von der Weltseele bei den Arabern im X. Jahrhundert: being a German translation of the Rasa'il Ikhwan as - Safa, chapter 31 - 40
پدیدآورنده : / Friedrich Dieterici.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : فلسفه اسلامی -- مجموعه‌ها.,فلسفه اسلامی -- متون قدیمی تا قرن ۱۴.,منطق -- متون قدیمی تا قرن ۱۴.
رده :
BBR
۹
/
الف
۹ ۲۴.
ج
۱۳۷۸
5. Die Naturanschhauung und naturphilosophie der Araber im zehnten Jahrhundert Die anthropologie der Araber in zehnten Jahrhundert n. chr.: being a German translation of the the Rasa'il Ikhwan as - Safa' chapter 14 - 30
پدیدآورنده : / Friedrich Dieterici.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : فلسفه اسلامی -- مجموعه‌ها.,فلسفه اسلامی -- متون قدیمی تا قرن ۱۴.,منطق -- متون قدیمی تا قرن ۱۴.
رده :
BBR
۹
/
الف
۹ ۲۳.
ج
۱۳۷۸
6. Die propadeutik der Araber im zehnten Jahrhundert die ligik und psychologie der Araber im zehnten Jahrhundert n. chr.: being a German translation of the Rasa'il Ikhwan as - Safa' chapter 1 - 13
پدیدآورنده : / Friedrich Dieterici.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : فلسفه اسلامی -- مجموعه‌ها.,فلسفه اسلامی -- متون قدیمی تا قرن ۱۴.,منطق -- متون قدیمی تا قرن ۱۴.
رده :
BBR
۹
/
الف
۹ ۲۲.
ج
۱۳۷۸
7. Introduccion al arte de la logica (Kitab al - Madkhal li - Sinaat al - mantiq) por Abentomlus de Alcira (Abul - Hajjaj Yusuf Ibn Muhammad Ibn Tumlus) ... Fasciculo I
پدیدآورنده : / texto Arabe traduccion espanola por Miquel Asin.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : فلسفه اسلامی -- مجموعه‌ها.,منطق -- متون قدیمی تا قرن ۱۴.
رده :
BBR
۹
/
الف
۹ ۸۲.
ج
۱۳۷۹
8. Le Livre des theoremes et des Avertissements (Kitab al - Isharat wa - t - tanbihat)
پدیدآورنده : / Ibn Sina
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : فلسفه اسلامی -- مجموعه‌ها.,منطق -- متون قدیمی تا قرن ۱۴.
رده :
BBR
۹
/
الف
۹ ۳۶.
ج
۱۳۷۸
9. Livre des directives et remarques (Kitab al - Isharat wa - t - tanbihat)
پدیدآورنده : / Ibn Sina
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : فلسفه اسلامی -- مجموعه‌ها.,منطق -- متون قدیمی تا قرن ۱۴.
رده :
BBR
۹
/
الف
۹ ۳۷.
ج
۱۳۷۸
10. Recitification de la mente (Kitab Taqwim adh - dhihn) tratado de logica por ...( Abu s - Salt Umayya ibn Abd al - Aziz ...
پدیدآورنده : / texto arabe, traduccion y estudio previo por Angel Gonzalez Palenica.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : فلسفه اسلامی -- مجموعه‌ها.,منطق -- متون قدیمی تا قرن ۱۴.
رده :
BBR
۹
/
الف
۹ ۸۱.
ج
۱۳۷۹
11. Set theory and logic
پدیدآورنده : / Robert R. Stoll
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : نظریه مجموعه‌ها,منطق ریاضی
رده :
QA
۲۴۸
/
الف
۵
س
۴ ۱۳۴۲
12. The school of Baghdad (4th - 5th/10 - 11th cent.) and its achievements Matta ibn Yunus, Yahya Ibn Adi, Ibn Zura, Ibn Suwra, Ibn as - Samb: texts and studies
پدیدآورنده : / collected and reprinted by Fuat Sezgin in collaboration with Mazen Amawi, Carl Ehrig - Eggert, Eckhard Neubauer.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : فلسفه اسلامی -- مجموعه‌ها.,فلسفه اسلامی -- متون قدیمی تا قرن ۱۴.,منطق -- متون اسلامی تا قرن ۱۴.,فلسفه عربی.
رده :
BBR
۹
/
الف
۹ ۸۳.
ج
۱۳۷۹
13. استدلال رياضي و نظريه‌ي مجموعه‌ها ويژه دانش‌آموزان سال سوم آموزش متوسطه و داوطلبان ورود به دانشگاه (رشته علوم رياضي و فيزيک)
پدیدآورنده : / مؤلفان: محمد صادق تولايي... [و ديگران]
کتابخانه: Central library of astan quds razavi (Khorasan Razavi)
موضوع : منطق رياضي -- مسائل، تمرينها و غيره (متوسطه),نظريه مجموعه‌ها -- مسائل، تمرينها و غيره,منطق رياضي -- آزمونها و تمرينها (متوسطه),نظريه مجموعه‌ها -- آزمونها و تمرينها (متوسطه)
رده :
۵۱۱
/
۳
الف
۴۸۳
14. استدلال ریاضی و نظریه‌ی مجموعه‌ها : ویژه‌ی دانش‌آموزان سال سوم آموزش متوسطه و داوطلبان ورود به دانشگاه (رشته‌ی ریاضی و فیزیک)
پدیدآورنده : / مولفان محمد‌صادق تولایی ... [و دیگران].
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,منطق ریاضی,نظریه مجموعه‌ها,نظریه مجموعه‌ها,دانشگاهها و مدارس عالی,-- آزمونها و تمرینها (متوسطه), -- راهنمای آموزشی (متوسطه), -- آزمون‌هاوتمرین‌ها (متوسطه), -- راهنمای آموزشی (متوسطه), -- آزمونها, -- ایران
رده :
QA
۹
/
الف
۴۵ ۱۳۸۸
15. ...الاعلان بنعم الله الواهب الکريم المنان في الفقه عماد الايمان بترجيعات في العروض، و النحو و التصريف و المنطق و تجويد القرآن...
پدیدآورنده : / تصنيف: صفي‌الدين احمد بن عبدالله السلمي (الوصابي) الشهير بالسانة,ابن السانه
کتابخانه: Central library of astan quds razavi (Khorasan Razavi)
موضوع : اسلام -- مجموعه‌ها,اسلام -- علوم نقلي,فقه اهل سنت -- قرن ۱۲ق,زبان عربي -- مجموعه‌ها,منطق
رده :
۲۹۷
/
۰۸
الف
۱۵۹
الف
16. الاعمال الکاملة للشيخ معروف النودهي البرزنجي الکردي
پدیدآورنده : / دراسة و تحقيق بابا علي بن عمر القرداغي,نودهي
کتابخانه: Central library of astan quds razavi (Khorasan Razavi)
موضوع : ادبيات عربي -- قرن ۱۹م -- مجموعه‌ها,زبان عربي -- صرف و نحو,شعر عربي -- قرن ۱۹م,منطق,اسلام -- مجموعه‌ها
رده :
۸۹۲
/
۷۴
ن
۶۹۵
الف
17. الاعمال الکاملة للشيخ معروف النودهي البرزنجي الکردي
پدیدآورنده : / دراسة و تحقيق بابا علي بن عمر القرداغي,نودهي
کتابخانه: Specialized Library of Literature of Astan Quds Razavi (Khorasan Razavi)
موضوع : ادبيات عربي -- قرن ۱۹م -- مجموعه‌ها,زبان عربي -- صرف و نحو,شعر عربي -- قرن ۱۹م,منطق,اسلام -- مجموعه‌ها
رده :
۸۹۲
/
۷۴
ن
۶۹۵
الف
18. <التطور= تطور> المعاصر لنظریه المنطق
پدیدآورنده : / ماهر عبدالقادرمحمد علی
کتابخانه: Ilam University Central Library (Ilam)
موضوع : نظریه مجموعه‌ها -- مسائل، تمرینها و غیره,منطق ریاضی
رده :
QA
۲۴۸
/
م
۳
ت
۶ ۱۴۰۸
19. القواعد الحوزویه المیسره: اصول، فقه، رجا‌ل، درایه، منطق، فلسفه، نحو، بلاغه
پدیدآورنده : سرور، ابراهیم
کتابخانه: The Grand Ayatollah Boroujerdi's Library (Qom)
موضوع : مسائل متفرقه اسلام,اصول فقه شیعه -- قرن ۱۴,فقه-- قواعد,حدیث -- علم‌الرجا‌ل,منطق,فلسفه اسلامی,زبان عربی -- صرف و نحو,زبان عربی -- معانی و بیان,مجموعه‌ها علوم اسلامی
20. <ال>مجموع الکبیر من المتون فیما یذکر من الفنون
پدیدآورنده : / جمعه و اعتنی به کمال حسن مرعی
کتابخانه: Library of Excellent School of Jurisprudence and Islamic Education (Qom)
موضوع : مسائل متفرقه,اسلام -- مجموعه‌ها,زبان عربی -- صرف و نحو -- مجموعه‌ها,زبان عربی -- معانی و بیان -- مجموعه‌ها,منطق -- مجموعه‌ها,علوم -- مجموعه‌ها
رده :
AC
۱۰۶
/
م
۴
م
۳
